type theory

美 [taɪp ˈθiːəri]英 [taɪp ˈθɪəri]
  • 网络类型理论;类型论;型理论
type theorytype theory
  1. On the π and Σ rules in intuitionistic type theory

    直觉主义类型论中π和∑规则的研究

  2. Studies of the negation in the intuitionistic type theory

    直觉主义类型论中否定构造的研究

  3. An Automatic Programming System Based on Type Theory

    一个基于类型理论的自动程序设计系统

  4. Text Type Theory and Its Application to Translation Teaching

    文本类型理论及其在翻译教学中的应用

  5. Text type theory based analysis of Chinese-to-English translation of public signs

    从文本类型理论视角解析公示语汉英翻译实践

  6. The text type theory is of great significance to the study of translation style .

    文本类型理论对翻译风格研究具有重要意义。

  7. Study on Jungian Psychological Type Theory and Inventory of Historical Development

    荣格心理类型理论与量表的历史发展研究

  8. Grassland classification is the concrete practice of the grassland type theory .

    草原分类是草原类型理论的具体实践。

  9. Translation and the Text Type Theory

    文本类型理论与翻译

  10. The Chinese traditional culture based personality type theory & I Qing personality model , was introduced .

    该文介绍了基于中国传统文化建立起来的本土化人格类型理论&周易人格模型;

  11. An inheritance mechanism with type theory

    基于类型理论的继承机制的研究

  12. On type theory for object oriented programming

    面向对象类型理论的比较研究

  13. A Displacement Type Theory for Thin Conical Shells Composed of Composite Materials

    复合材料圆锥壳体的位移型方程

  14. Type Theory and Programming

    类型理论和程序设计

  15. You would need to study type theory at university for several years to understand what it 's all about .

    你需要学习理论在大学数多年来了解它的全部。

  16. Imperative Operational Semantics in Type Theory

    命令的操作语义在类型系统中的一种表示

  17. Recursive metaprogramming based on type theory

    基于类型理论的递旧元程序设计

  18. The scholar of China has revised the conception of the Economic-cultural type theory .

    我国学者对前苏联经济文化类型理论概念进行了修改。

  19. The text type theory , proposed by the German translation theorist K. Of the original text .

    文本类型理论是德国翻译理论家赖斯和英国翻译家纽马克根据语言功能对文本进行功能划分的理论。

  20. Neo - classical Type Theory

    新古典主义的类型说

  21. The whole article places extra emphasis on the cognition and analysis of type theory of Arthur Kaufmann .

    全文侧重对考夫曼类型理论的认识和分析,对这种理论在刑法中的作用进行了修正和完善。

  22. A Donnell Type Theory for Finite Deflection of Stiffened Thin Conical Shells Composed of Composite Materials

    复合材料加筋薄壁圆锥壳体有限变形的混合型理论

  23. Nevanlinna type theory of meromorphic functions in the exterior of a circle ( I )

    圆外亚纯函数的Nevanlinna型理论(I)

  24. In analogy to algebraic data type theory , this paper proposed the mathematical model of objects , object types and abstract object types .

    类似于代数数据类型理论,本文提出了对象、对象类型及抽象对象类型的代数模型。

  25. This thesis combined with the text type theory , analyses the choice of translation strategies in business text translation from the perspective of culture construction .

    本文结合文本类型学理论,从文化建构视角分析商务文本翻译中翻译策略的选择。

  26. Proof generation capabilities of proof construction systems are based on type theory . Type systems allow us to express program properties that are automatically verified .

    证明系统的能力取决于类型系统,因而类型系统可以表达程序的性质,并自动进行验证。

  27. MBTI psychological type theory may contribute to the self-perfection to individual lawyers as well as legal profession as a whole .

    MBTI性格类型理论无论对作为个体的法律人和还是对作为整体的法律职业,在自我完善方面都具有重要的参考价值。

  28. Our approach is to combine object-oriented paradigm with formal methods in software engineering , especially abstract data type theory , and algebraic specification of systems .

    我们希望能够将面向对象的数据库系统与软件工程中的形式化方法,尤其是抽象数据类型、系统的代数规范等结合起来。

  29. He also took the opportunity to brush up and submit to Alonzo Church 's journal some wartime work on type theory .

    图灵还利用这次机会,向阿隆佐·丘奇的刊物提交了一些关于类型论的成果,这是他在战争期间做的。

  30. Method : a total of 85 nursing staffs of supply room from general hospitals were selected and classified according to the " Functional Type Theory " character classification .

    [方法]选取综合医院供应室护理人员85人,按机能类型说性格分类法分类,统计职业暴露次数。